$\forall$${\it Cmd}$:Type, $x$:chain\_sys(${\it Cmd}$). csupdate?($x$) $\in$ $\mathbb{B}$